Coloring digraphs with forbidden cycles

NP by Means of Lifts and Shadows

We show that every NP problem is polynomially equivalent to a simple combinatorial problem: the membership problem for a special class of digraphs. These classes are defined by means of shadows (projections) and by finitely many forbidden colored (lifted) subgraphs. Our characterization is motivated by the analysis of syntactical subclasses with the full computational power of NP, which were fi...

Subdivisions of oriented cycles in digraphs with large chromatic number

The Dichotomy of Minimum Cost Homomorphism Problems for Digraphs

The minimum cost homomorphism problem has arisen as a natural and useful optimization problem in the study of graph (and digraph) coloring and homomorphisms: it unifies a number of other well studied optimization problems. It was shown by Gutin, Rafiey, and Yeo that the minimum cost problem for homomorphisms to a digraph H that admits a so-called extended MinMax ordering is polynomial time solv...

Lightness of digraphs in surfaces and directed game chromatic number

The lightness of a digraph is the minimum arc value, where the value of an arc is the maximum of the in-degrees of its terminal vertices. We determine upper bounds for the lightness of simple digraphs with minimum in-degree at least 1 (resp., graphs with minimum degree at least 2) and a given girth k, and without 4-cycles, which can be embedded in a surface S. (Graphs are considered as digraphs...

Gallai's Theorem for List Coloring of Digraphs

A classical theorem of Gallai states that in every graph that is critical for k-colorings, the vertices of degree k − 1 induce a tree-like graph whose blocks are either complete graphs or cycles of odd length. We provide a generalization to colorings and list colorings of digraphs, where some new phenomena arise. In particular, the problem of list coloring digraphs with the lists at each vertex...

Space complexity of list H-coloring revisited: the case of oriented trees

Digraphs H for which the list homomorphism problem with template H (LHOM(H)) is in logspace (L) was characterized by Egri et al. (SODA 2014): LHOM(H) is in L if and only if H does not contain a circular N. Undirected graphs for which LHOM(H) is in L can be characterized in terms forbidden induced subgraphs, and also via a simple inductive construction (Egri et al., STACS 2010). As a consequence...